<html>
  <head>
    <meta http-equiv="refresh" content="0; url=../practicas-linux.php?usuario=profesor&num=<? echo $_GET["num"] ?>">
  </head>
  <body>
  
    <p>Redireccionando...</p>
  
  </body>
</html>
